Software flow control - PDFSEARCH.IO - Document Search Engine

Software flow control
Results: 1051

#	Item
201	Carnegie Mellon School of Computer Science Scheme Flow Analysis Note Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:07 Elementary mathematics Lambda calculus Data types Environmental science Parameter Static single assignment form Function Data-flow analysis Control flow analysis Mathematics Software engineering Variables
202	The Term Processor Kimwitu Manual and Cookbook Peter van Eijk Axel Belinfante Add to Reading List Source URL: fmt.cs.utwente.nl Language: English - Date: 2000-04-17 12:02:50 Cross-platform software Formal languages Parsing Control flow Scripting languages Attribute grammar Foreach loop JavaScript Hash table Software engineering Computing Computer programming
203	Microsoft Word - 1997_SIGAda_Awards.html Add to Reading List Source URL: www.sigada.org Language: English - Date: 2005-02-22 13:42:34 Computer programming Ada GNAT A Sharp Control flow Ada Semantic Interface Specification Computing Ada programming language Software engineering
204	Procera Networks Virtual PacketLogic Software Performance Test Introduction In the wake of the telecommunications industry advancements towards virtualization, many vendors are laboring to port their solution to a virtua Add to Reading List Source URL: www.eantc.de Language: English - Date: 2014-10-10 10:46:58 Packet Processing Throughput Transmission Control Protocol Forwarding plane Goodput Internet Mix Procera Networks Traffic flow Network switch Computing Network performance Network architecture
205	Scheme Flow Analysis Lastref information provides just enough information to disentangle the multiple environments that can be created over a given variable. If we had lastref information, we could, for example, correct Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:10 Control flow Lambda calculus Subroutines Functional languages Lisp programming language Closure Lisp Continuation-passing style Scheme Software engineering Computing Computer programming
206	Catch me if you can Towards type-safe, hierarchical, lightweight, polymorphic and efficient error management in OCaml David Teller Arnaud Spiwack Add to Reading List Source URL: www.univ-orleans.fr Language: English - Date: 2008-06-26 18:25:04 Type theory Functional programming Data types Control flow Functional languages Eval Monad Type system Generalized algebraic data type Software engineering Computing Declarative programming
207	.-----===------------------------------------===-----------===------. \| /__/\| ___ ___ / /\ Add to Reading List Source URL: mirrors.go-parts.com Language: English - Date: 2008-01-17 19:00:00 Control flow Procedural programming languages Foreach loop C syntax D C Array data type Aliasing Bc programming language Computing Software engineering Computer programming
208	Continuations and Stackless Python Or "How to change a Paradigm of an existing Program" Christian Tismer Virtual Photonics GmbH mailto: Add to Reading List Source URL: zope.stackless.com Language: English - Date: 2002-07-08 23:11:40 Subroutines Control flow Recursion Concurrent computing Programming language implementation Continuation Stackless Python Tail call Coroutine Software engineering Computing Computer programming
209	Program Extrapolation with Jennisys K. Rustan M. Leino Aleksandar Milicevic Microsoft Research Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-11-06 16:43:36 Data types Algorithm Mathematical logic Theoretical computer science Eval Constructor Objective-C Concolic testing Control flow Computing Software engineering Computer programming
210	Boosting the Permissiveness of Dynamic Information-Flow Tracking by Testing Arnar Birgisson, Daniel Hedin, and Andrei Sabelfeld Chalmers University of Technology, Gothenburg, Sweden Abstract. Tracking information Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-07-02 05:45:52 Data types Primitive types Control flow Information flow Information theory Exception handling Programming language String C Computing Software engineering Computer programming

UPDATE